body {
	overflow: hidden;
}

.ace_bold {
	font-weight:bold;
}

.ace_italic {
	font-style:italic;
}

#header {
	position: fixed;
	top: 0;
	right: 0;
	height: 30px;
	width: 100%;
	background-color: black;
}

#htext {
	line-height: 30px;
	vertical-align: middle;

	padding-left: 10px;
	color: white;
	font-family: baskerville, palatino, 'palatino linotype', georgia,serif; 
}

#editor { 
	margin: 0;
	position: absolute;
	top: 30px;
	bottom: 0;
	left: 0;
	right: 0;
}

#htext a {
  color: #aaf;
  font-weight: bold;
}

